Department of Informatics A Logic - based Approach to Decision Making

We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. Most existing work in this area concentrates on graphical representations of decision problems, and requires a complete specification of the problem. Our approach is based on a formal logic, such that the choice of an optimal decision can be treated as a problem of logical deduction. The logical formalism allows to leave unknown aspects of the problem unstated, and it lends itself to various extensions that are difficult to incorporate into graphical approaches. On the other hand, we can show that our formalism can deduce at least the same consequences as are possible with the most popular graphical approach.